Strictification theorems for the homotopy time-slice axiom

Abstract It is proven that the homotopy time-slice axiom for many types of algebraic quantum field theories (AQFTs) taking values in chain complexes can be strictified. This includes cases Haag–Kastler-type AQFTs on a fixed globally hyperbolic Lorentzian manifold (with or without time-like boundary), locally covariant conformal two spacetime dimensions, one dimension, and relative Cauchy evolution. The strictification theorems established this paper prove that, under suitable hypotheses hold true examples listed above, there exists Quillen equivalence between model category satisfying usual strict axiom.